#ifndef __LIB_KERNEL_PRINT_H__
#define __LIB_KERNEL_PRINT_H__

#include "stdint.h"

void print_char(char c);
void print_string(const char* str);
void print_hex(int n);
void set_cursor(uint32_t cursor_pos);

#endif
